Zaïdi, Fatiha: шукати на сайті Z-Library

Пожертвування 15 вересня 2024 – 1 жовтня 2024 Про збір коштів

Найбільша колекція наукових статей у сіті. 70,000,000+ безкоштовних статей.

Пожертвування 15 вересня 2024 – 1 жовтня 2024

Z-Library - одна з найбільших онлайн-бібліотек у світі, в якій зберігається більше 17,000,000 книг та 84,837,000 статей. Ми намагаємось зробити літературу доступною кожному. Сьогодні (15 вересня 2024) ми відкриваємо додатковий збір пожертвувань на підтримку та розвиток проекту.

Також БЕЗЛІМТНІ завантаження (протягом 31 дня після завершення пожертвування) доступні для ВСІХ користувачів, які підтримають проект в період збору коштів до 1 жовтня 2024.

Про збір коштів Детальніше

Підтримати

Книги
Статті (40)
Найпопулярніші
Перелік
- Перелік
- Таблиця

1

[Lecture Notes in Computer Science] Formal Methods and Software Engineering Volume 9407 || DFTCalc: Reliability Centered Maintenance via Fault Tree Analysis (Tool Paper)

Butler, Michael, Conchon, Sylvain, Zaïdi, Fatiha

Рік:

2015

Мова:

english

Файл:

PDF, 520 KB

english, 2015

2

[IEEE 2018 32nd International Conference on Advanced Information Networking and Applications Workshops (WAINA) - Krakow, Poland (2018.5.16-2018.5.18)] 2018 32nd International Conference on Advanced Information Networking and Applications Workshops (WAINA) - MANETs Interoperability: Current Trends and Open Research

Alvarez Aldana, Jose Alfredo, Maag, Stephane, Zaidi, Fatiha

Рік:

2018

Мова:

english

Файл:

PDF, 129 KB

english, 2018

3

[Lecture Notes in Computer Science] Formal Methods and Software Engineering Volume 9407 ||

Butler, Michael, Conchon, Sylvain, Zaïdi, Fatiha

Рік:

2015

Мова:

english

Файл:

PDF, 25.22 MB

english, 2015

4

[Lecture Notes in Computer Science] Formal Methods and Software Engineering Volume 9407 || An Improved HHL Prover: An Interactive Theorem Prover for Hybrid Systems

Butler, Michael, Conchon, Sylvain, Zaïdi, Fatiha

Рік:

2015

Мова:

english

Файл:

PDF, 270 KB

english, 2015

5

[Lecture Notes in Computer Science] Formal Methods and Software Engineering Volume 9407 || Mastering the Visualization of Larger State Spaces with Projection Diagrams

Butler, Michael, Conchon, Sylvain, Zaïdi, Fatiha

Рік:

2015

Мова:

english

Файл:

PDF, 2.27 MB

english, 2015

6

A passive testing approach based on invariants: application to the WAP

Emmanuel Bayse, Ana Cavalli, Manuel Núñez, Fatiha Zaïdi

Журнал:

Computer Networks

Рік:

2005

Мова:

english

Файл:

PDF, 726 KB

english, 2005

7

Application of a formal testing methodology to wireless telephony networks

Ana Cavalli, Amel Mederreg, Fatiha Zaidi

Журнал:

Journal of the Brazilian Computer Society

Рік:

2004

Мова:

english

Файл:

PDF, 1.16 MB

english, 2004

8

Une plate-forme de validation multi-protocoles et multi-services Résultats d’expérimentation

Pierre Combes, Wei Monin, Ana Cavalli, Amel Mederreg, Fatiha Zaïdi, Richard Castanet, Marcien Mackaya, Patrice Laurençot

Журнал:

annals of telecommunications - annales des télécommunications

Рік:

2005

Файл:

PDF, 3.03 MB

2005

9

[Lecture Notes in Computer Science] Testing Software and Systems Volume 7019 || Improved Usage Model for Web Application Reliability Testing

Wolff, Burkhart, Zaïdi, Fatiha

Рік:

2011

Мова:

english

Файл:

PDF, 791 KB

english, 2011

10

One step forward

Viana, Aline Carneiro, Maag, Stephane, Zaidi, Fatiha

Журнал:

ACM Computing Surveys

Рік:

2011

Мова:

english

Файл:

PDF, 476 KB

english, 2011

11

[Lecture Notes in Computer Science] Testing Software and Systems Volume 7019 || Conformance Relations for Distributed Testing Based on CSP

Wolff, Burkhart, Zaïdi, Fatiha

Рік:

2011

Мова:

english

Файл:

PDF, 247 KB

english, 2011

12

[IEEE 2008 IEEE Sixth European Conference on Web Services (ECOWS) - Dublin, Ireland (2008.11.12-2008.11.14)] 2008 Sixth European Conference on Web Services - Automatic Timed Test Case Generation for Web Services Composition

Lallali, Mounir, Zaidi, Fatiha, Cavalli, Ana, Hwang, Iksoon

Рік:

2008

Мова:

english

Файл:

PDF, 207 KB

english, 2008

13

[IEEE 2011 IEEE 13th International Symposium on High-Assurance Systems Engineering (HASE) - Boca Raton, FL, USA (2011.11.10-2011.11.12)] 2011 IEEE 13th International Symposium on High-Assurance Systems Engineering - Verification of Interoperability Security Policies by Model Checking

Maarabani, Mazen El, Cavalli, Ana, Hwang, Iksoon, Zaidi, Fatiha

Рік:

2011

Мова:

english

Файл:

PDF, 189 KB

english, 2011

14

[IEEE 2013 Formal Methods in Computer-Aided Design (FMCAD) - Portland, OR (2013.10.20-2013.10.23)] 2013 Formal Methods in Computer-Aided Design - Invariants for finite instances and beyond

Conchon, Sylvain, Goel, Amit, Krstic, Sava, Mebsout, Alain, Zaidi, Fatiha

Рік:

2013

Мова:

english

Файл:

PDF, 311 KB

english, 2013

15

[IEEE 2007 Third International IEEE Conference on Signal-Image Technologies and Internet-Based System SITIS - Shanghai, China (2007.12.16-2007.12.18)] 2007 Third International IEEE Conference on Signal-Image Technologies and Internet-Based System - Timed Modeling of Web Services Composition for Automatic Testing

Lallali, Mounir, Zaidi, Fatiha, Cavalli, Ana

Рік:

2007

Мова:

english

Файл:

PDF, 432 KB

english, 2007

16

[IEEE 2013 IEEE 24th International Symposium on Software Reliability Engineering (ISSRE) - Pasadena, CA, USA (2013.11.4-2013.11.7)] 2013 IEEE 24th International Symposium on Software Reliability Engineering (ISSRE) - Automatic skeleton generation for data-aware service choreographies

Nguyen, Huu Nghia, Poizat, Pascal, Zaidi, Fatiha

Рік:

2013

Мова:

english

Файл:

PDF, 621 KB

english, 2013

17

[IEEE 2008 4th International Conference on Next Generation Web Services Practices (NWESP) - Seoul, Korea (2008.10.20-2008.10.22)] 2008 4th International Conference on Next Generation Web Services Practices - Transforming BPEL into Intermediate Format Language for Web Services Composition Testing

Lallali, Mounir, Zaidi, Fatiha, Cavalli, Ana

Рік:

2008

Мова:

english

Файл:

PDF, 154 KB

english, 2008

18

[IEEE 2010 IEEE/ACS International Conference on Computer Systems and Applications (AICCSA) - Hammamet, Tunisia (2010.05.16-2010.05.19)] ACS/IEEE International Conference on Computer Systems and Applications - AICCSA 2010 - A component based testing technique for a MANET routing protocol

Zaidi, Fatiha, Lallali, Mounir, Maag, Stephane

Рік:

2010

Мова:

english

Файл:

PDF, 157 KB

english, 2010

19

[IEEE 2012 IEEE 14th International Symposium on High-Assurance Systems Engineering (HASE) - Omaha, NE, USA (2012.10.25-2012.10.27)] 2012 IEEE 14th International Symposium on High-Assurance Systems Engineering - Online Verification of Value-Passing Choreographies through Property-Oriented Passive Testing

Nguyen, Huu Nghia, Poizat, Pascal, Zaidi, Fatiha

Рік:

2012

Мова:

english

Файл:

PDF, 324 KB

english, 2012

20

[IEEE 2010 IEEE International Conference on Web Services (ICWS) - Miami, FL, USA (2010.07.5-2010.07.10)] 2010 IEEE International Conference on Web Services - WebMov: A Dedicated Framework for the Modelling and Testing of Web Services Composition

Cavalli, Ana, Cao, Tien-Dung, Mallouli, Wissam, Martins, Eliane, Sadovykh, Andrey, Salva, Sebastien, Zaïdi, Fatiha

Рік:

2010

Мова:

english

Файл:

PDF, 922 KB

english, 2010

21

[IEEE 2009 IEEE International Conference on Pervasive Computing and Communications (PerCom) - Galveston, TX, USA (2009.03.9-2009.03.13)] 2009 IEEE International Conference on Pervasive Computing and Communications - A formal passive testing approach to test a MANET routing protocol

Cavalli, Ana, Maag, Stephane, de Oca, Edgardo Montes, Zaidi, Fatiha

Рік:

2009

Мова:

english

Файл:

PDF, 163 KB

english, 2009

22

[Lecture Notes in Computer Science] Testing Software and Systems Volume 7019 || A Real-World Benchmark Model for Testing Concurrent Real-Time Systems in the Automotive Domain

Wolff, Burkhart, Zaïdi, Fatiha

Рік:

2011

Мова:

english

Файл:

PDF, 350 KB

english, 2011

23

[ACM Press the ACM international workshop - Terromolinos, Spain (2006.10.02-2006.10.02)] Proceedings of the ACM international workshop on Performance monitoring, measurement, and evaluation of heterogeneous wireless and wired networks - PM2HW2N '06 - Testing methodology for an ad hoc routing protocol

Maag, Stéphane, Zaidi, Fatiha

Рік:

2006

Мова:

english

Файл:

PDF, 190 KB

english, 2006

24

[ACM Press the 27th Annual ACM Symposium - Trento, Italy (2012.03.26-2012.03.30)] Proceedings of the 27th Annual ACM Symposium on Applied Computing - SAC '12 - Passive conformance testing of service choreographies

Nguyen, Huu Nghia, Poizat, Pascal, Zaïdi, Fatiha

Рік:

2012

Мова:

english

Файл:

PDF, 709 KB

english, 2012

25

[ACM Press the 2009 ACM symposium - Honolulu, Hawaii (2009.03.08-2008.03.12)] Proceedings of the 2009 ACM symposium on Applied Computing - SAC '09 - Network protocol interoperability testing based on contextual signatures and passive testing

Zaidi, Fatiha, Bayse, Emmanuel, Cavalli, Ana

Рік:

2009

Мова:

english

Файл:

PDF, 309 KB

english, 2009

26

[Lecture Notes in Computer Science] Formal Methods and Software Engineering Volume 9407 || Refinement-Based Verification of the FreeRTOS Scheduler in VCC

Butler, Michael, Conchon, Sylvain, Zaïdi, Fatiha

Рік:

2015

Мова:

english

Файл:

PDF, 469 KB

english, 2015

27

[Lecture Notes in Computer Science] Formal Methods and Software Engineering Volume 9407 || Formal Analysis of Power Electronic Systems

Butler, Michael, Conchon, Sylvain, Zaïdi, Fatiha

Рік:

2015

Мова:

english

Файл:

PDF, 978 KB

english, 2015

28

[Lecture Notes in Computer Science] Formal Methods and Software Engineering Volume 9407 || A Recursive Probabilistic Temporal Logic

Butler, Michael, Conchon, Sylvain, Zaïdi, Fatiha

Рік:

2015

Мова:

english

Файл:

PDF, 350 KB

english, 2015

29

[Lecture Notes in Computer Science] Formal Methods and Software Engineering Volume 9407 || B for Modeling Secure Information Systems

Butler, Michael, Conchon, Sylvain, Zaïdi, Fatiha

Рік:

2015

Мова:

english

Файл:

PDF, 1.54 MB

english, 2015

30

[Lecture Notes in Computer Science] Formal Methods and Software Engineering Volume 9407 || Domain-Specific Languages with Scala

Butler, Michael, Conchon, Sylvain, Zaïdi, Fatiha

Рік:

2015

Мова:

english

Файл:

PDF, 1.54 MB

english, 2015

31

[Lecture Notes in Computer Science] Formal Methods and Software Engineering Volume 9407 || Formalization and Verification of Declarative Cloud Orchestration

Butler, Michael, Conchon, Sylvain, Zaïdi, Fatiha

Рік:

2015

Мова:

english

Файл:

PDF, 1.08 MB

english, 2015

32

[Lecture Notes in Computer Science] Formal Methods and Software Engineering Volume 9407 || A Logical Approach for Behavioural Composition of Scenario-Based Models

Butler, Michael, Conchon, Sylvain, Zaïdi, Fatiha

Рік:

2015

Мова:

english

Файл:

PDF, 407 KB

english, 2015

33

[Lecture Notes in Computer Science] Formal Methods and Software Engineering Volume 9407 || Supporting Requirements Analysis Using Pattern-Based Formal Specification Construction

Butler, Michael, Conchon, Sylvain, Zaïdi, Fatiha

Рік:

2015

Мова:

english

Файл:

PDF, 1.31 MB

english, 2015

34

[Lecture Notes in Computer Science] Formal Methods and Software Engineering Volume 9407 || SysML Blocks Adaptation

Butler, Michael, Conchon, Sylvain, Zaïdi, Fatiha

Рік:

2015

Мова:

english

Файл:

PDF, 1.26 MB

english, 2015

35

[IEEE 2014 21st Asia-Pacific Software Engineering Conference (APSEC) - Jeju, South Korea (2014.12.1-2014.12.4)] 2014 21st Asia-Pacific Software Engineering Conference - A Framework for Distributed Testing of Timed Composite Systems

Nguyen, Huu Nghia, Zaidi, Fatiha, Cavalli, Ana

Рік:

2014

Мова:

english

Файл:

PDF, 313 KB

english, 2014

36

[IEEE 2016 IEEE 36th International Conference on Distributed Computing Systems Workshops (ICDCSW) - Nara, Japan (2016.6.27-2016.6.30)] 2016 IEEE 36th International Conference on Distributed Computing Systems Workshops (ICDCSW) - Intrusion Detection and Attack Tolerance for Cloud Environments: The CLARUS Approach

Ouffoue, Georges, Ortiz, Antonio M., Cavalli, Ana R., Mallouli, Wissam, Domingo-Ferrer, Josep, Sanchez, David, Zaidi, Fatiha

Рік:

2016

Мова:

english

Файл:

PDF, 3.70 MB

english, 2016

37

[IEEE 2016 IEEE 15th International Symposium on Network Computing and Applications (NCA) - Cambridge, Boston, MA, USA (2016.10.31-2016.11.2)] 2016 IEEE 15th International Symposium on Network Computing and Applications (NCA) - MANETs monitoring with a distributed hybrid architecture

Alvarez, Jose, Maag, Stephane, Zaidi, Fatiha

Рік:

2016

Мова:

english

Файл:

PDF, 146 KB

english, 2016

38

[IEEE 2017 31st International Conference on Advanced Information Networking and Applications Workshops (WAINA) - Taipei, Taiwan (2017.3.27-2017.3.29)] 2017 31st International Conference on Advanced Information Networking and Applications Workshops (WAINA) - Model-Based Attack Tolerance

Ouffoue, Georges, Zaidi, Fatiha, Cavalli, Ana R., Lallali, Mounir

Рік:

2017

Мова:

english

Файл:

PDF, 593 KB

english, 2017

39

[IEEE 2017 IEEE International Conference on Services Computing (SCC) - Honolulu, HI, USA (2017.6.25-2017.6.30)] 2017 IEEE International Conference on Services Computing (SCC) - An Attack-Tolerant Framework for Web Services

Ouffoue, Georges L.A., Zaidi, Fatiha, Cavalli, Ana R., Lallali, Mounir

Рік:

2017

Мова:

english

Файл:

PDF, 186 KB

english, 2017

40

[IEEE 2017 IEEE International Conference on Web Services (ICWS) - Honolulu, HI, USA (2017.6.25-2017.6.30)] 2017 IEEE International Conference on Web Services (ICWS) - How Web Services Can Be Tolerant to Intruders through Diversification

Ouffoue, Georges, Zaidi, Fatiha, Cavalli, Ana R., Lallali, Mounir

Рік:

2017

Мова:

english

Файл:

PDF, 394 KB

english, 2017